Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
191	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
192	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
193	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
194	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
195	On Achieving the “Best of Both Worlds” in Secure Multiparty Computation∗ Jonathan Katz† Abstract Two settings are typically considered for secure multiparty computation, depending on Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-01-08 13:33:41 Secure multi-party computation IP Adversary model Transmission Control Protocol Cryptography Mathematics Computing Cryptographic protocols Applied mathematics Analysis of algorithms
196	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2007-11-19 01:34:07 Computer science Diagrams Petri nets Computing Actor model Finite-state machine Petri Markov chain Parallel computing Models of computation Concurrency Formal methods
197	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
198	Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:06:43 Logic in computer science Automated theorem proving Formal methods Artificial intelligence Automated reasoning Computer science Formal verification Model checking Symbolic computation Theoretical computer science Applied mathematics Mathematics
199	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
200	Efficient Server-Aided Secure Two-Party Function Evaluation with Applications to Genomic Computation Marina Blanton and Fattaneh Bayatbabolghani Department of Computer Science and Engineering University of Notre Dame mbl Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 22:08:08 Genetics Biology DNA Secure multi-party computation Genetic testing Boolean circuit Parental testing DNA profiling Actor model Cryptographic protocols Applied genetics Cryptography

UPDATE